1. Enumerability decidability computability : an introduction to the theory of recursive functions
Author: Hans Hermes; translated by G.T. Hermann and O. Plassmann
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem
Classification :
QA
248
.
5
.
H413
1969
